Culture politique et enseignement

Éditorial: Informatique et politique

Éditorial: Informatique et enseignement

Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique

We present a course given at the “Maîtrise d’informatique” level at Université of Rennes 1. This course studies relations between logic and computation, among which proofsearching as computing, hence a first course in logic programming. This course is not limited to logic programming, but it is the only one that the student will get on logic programming. Though this course focuses on theoretica...

Developpement Et Optimisation D’une Politique De Maintenance Sous Contraintes Environnementales

De nos jours, l'industrie occupe une place particulière par l’effet de la crise mondiale de l'environnement. Il est clair que l'intérêt croissant des entreprises pour l'environnement est lié en particulier aux motifs économiques. Suite à ce constat, notre travail consiste à établir et à optimiser une politique de maintenance qui a pour objectif la protection de l'environnement industriel sous u...

L ' Enseignement Mathématique